home *** CD-ROM | disk | FTP | other *** search
/ Aminet 12 / Aminet 12 (1996)(GTI - Schatztruhe)[!][Jun 1996].iso / Aminet / dev / e / eiffel.lha / flc / examples / COUNTER next >
Encoding:
Text File  |  1989-08-17  |  502 b   |  32 lines
  1.  
  2. -- counter class
  3.  
  4. indexing
  5.   author: "Guichard Damien";
  6.   created: 7,November,1995;
  7.   modified: 7,November,1995
  8.  
  9. class COUNTER
  10.   -- Basic counter
  11. feature {ANY}
  12.   count:INTEGER;
  13.     -- Current counter value.
  14.   start is
  15.     -- Set counter to 0.
  16.     do
  17.       count := 0
  18.     ensure
  19.       -- count = 0
  20.     end;  -- start
  21.   forth is
  22.     -- Increment the counter.
  23.     do
  24.       count := count + 1
  25.     ensure
  26.       -- count = old count + 1
  27.     end   -- forth
  28. invariant
  29.   -- count >= 0
  30. end  -- class 'COUNTER'
  31.  
  32.